Optimal. Leaf size=1093 \[ -\frac {2 (-1)^{2/3} a^{2/3} b^{8/3} \tan ^{-1}\left (\frac {\sqrt [3]{-1} \sqrt [3]{b}-\sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {a^{2/3}-(-1)^{2/3} b^{2/3}}}\right )}{\sqrt {a^{2/3}-(-1)^{2/3} b^{2/3}} \left (a^2-b^2\right )^2 d}-\frac {2 b^2 \left (2 a^2+b^2\right ) \tan ^{-1}\left (\frac {\sqrt [3]{-1} \sqrt [3]{b}-\sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {a^{2/3}-(-1)^{2/3} b^{2/3}}}\right )}{3 a^{2/3} \sqrt {a^{2/3}-(-1)^{2/3} b^{2/3}} \left (a^2-b^2\right )^2 d}+\frac {2 a^{2/3} b^{8/3} \tan ^{-1}\left (\frac {\sqrt [3]{b}+\sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {a^{2/3}-b^{2/3}}}\right )}{\sqrt {a^{2/3}-b^{2/3}} \left (a^2-b^2\right )^2 d}+\frac {2 b^2 \left (2 a^2+b^2\right ) \tan ^{-1}\left (\frac {\sqrt [3]{b}+\sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {a^{2/3}-b^{2/3}}}\right )}{3 a^{2/3} \sqrt {a^{2/3}-b^{2/3}} \left (a^2-b^2\right )^2 d}+\frac {2 b^{4/3} \left (a^2+2 b^2\right ) \tan ^{-1}\left (\frac {\sqrt [3]{b}+\sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {a^{2/3}-b^{2/3}}}\right )}{3 \sqrt {a^{2/3}-b^{2/3}} \left (a^2-b^2\right )^2 d}-\frac {2 \sqrt [3]{-1} a^{2/3} b^{8/3} \tan ^{-1}\left (\frac {(-1)^{2/3} \sqrt [3]{b}+\sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {a^{2/3}+\sqrt [3]{-1} b^{2/3}}}\right )}{\sqrt {a^{2/3}+\sqrt [3]{-1} b^{2/3}} \left (a^2-b^2\right )^2 d}+\frac {2 b^2 \left (2 a^2+b^2\right ) \tan ^{-1}\left (\frac {(-1)^{2/3} \sqrt [3]{b}+\sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {a^{2/3}+\sqrt [3]{-1} b^{2/3}}}\right )}{3 a^{2/3} \sqrt {a^{2/3}+\sqrt [3]{-1} b^{2/3}} \left (a^2-b^2\right )^2 d}-\frac {2 b^{4/3} \left (a^2+2 b^2\right ) \tanh ^{-1}\left (\frac {\sqrt [3]{b}-\sqrt [3]{-1} \sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {-(-1)^{2/3} a^{2/3}+b^{2/3}}}\right )}{3 \sqrt {-(-1)^{2/3} a^{2/3}+b^{2/3}} \left (a^2-b^2\right )^2 d}-\frac {2 b^{4/3} \left (a^2+2 b^2\right ) \tanh ^{-1}\left (\frac {\sqrt [3]{b}+(-1)^{2/3} \sqrt [3]{a} \tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {\sqrt [3]{-1} a^{2/3}+b^{2/3}}}\right )}{3 \sqrt {\sqrt [3]{-1} a^{2/3}+b^{2/3}} \left (a^2-b^2\right )^2 d}+\frac {\cos (c+d x)}{12 (a+b) d (1-\sin (c+d x))^2}+\frac {\cos (c+d x)}{12 (a+b) d (1-\sin (c+d x))}+\frac {(a+4 b) \cos (c+d x)}{4 (a+b)^2 d (1-\sin (c+d x))}-\frac {\cos (c+d x)}{12 (a-b) d (1+\sin (c+d x))^2}-\frac {(a-4 b) \cos (c+d x)}{4 (a-b)^2 d (1+\sin (c+d x))}-\frac {\cos (c+d x)}{12 (a-b) d (1+\sin (c+d x))} \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 0.03, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \frac {\sec ^4(c+d x)}{a+b \sin ^3(c+d x)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {\sec ^4(c+d x)}{a+b \sin ^3(c+d x)} \, dx &=\int \frac {\sec ^4(c+d x)}{a+b \sin ^3(c+d x)} \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 1.22, size = 679, normalized size = 0.62 \begin {gather*} \frac {4 i b^2 \text {RootSum}\left [-i b+3 i b \text {$\#$1}^2+8 a \text {$\#$1}^3-3 i b \text {$\#$1}^4+i b \text {$\#$1}^6\&,\frac {2 a^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right )+4 b^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right )-i a^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right )-2 i b^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right )+12 i a b \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}+6 a b \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}-20 a^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^2-16 b^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^2+10 i a^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^2+8 i b^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^2-12 i a b \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^3-6 a b \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^3+2 a^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^4+4 b^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^4-i a^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^4-2 i b^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^4}{b \text {$\#$1}-4 i a \text {$\#$1}^2-2 b \text {$\#$1}^3+b \text {$\#$1}^5}\&\right ]+\sec ^3(c+d x) \left (4 a^2 b+32 b^3-3 b \left (5 a^2+13 b^2\right ) \cos (c+d x)+12 b \left (a^2+2 b^2\right ) \cos (2 (c+d x))-5 a^2 b \cos (3 (c+d x))-13 b^3 \cos (3 (c+d x))+12 a^3 \sin (c+d x)-30 a b^2 \sin (c+d x)+4 a^3 \sin (3 (c+d x))-22 a b^2 \sin (3 (c+d x))\right )}{24 (a-b)^2 (a+b)^2 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 4.96, size = 291, normalized size = 0.27
method | result | size |
derivativedivides | \(\frac {\frac {b^{2} \left (\munderset {\textit {\_R} =\RootOf \left (a \,\textit {\_Z}^{6}+3 a \,\textit {\_Z}^{4}+8 b \,\textit {\_Z}^{3}+3 a \,\textit {\_Z}^{2}+a \right )}{\sum }\frac {\left (\left (2 a^{2}+b^{2}\right ) \textit {\_R}^{4}-6 a b \,\textit {\_R}^{3}+2 \left (4 a^{2}+5 b^{2}\right ) \textit {\_R}^{2}-6 a \textit {\_R} b +2 a^{2}+b^{2}\right ) \ln \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-\textit {\_R} \right )}{\textit {\_R}^{5} a +2 \textit {\_R}^{3} a +4 \textit {\_R}^{2} b +\textit {\_R} a}\right )}{3 \left (a -b \right )^{2} \left (a +b \right )^{2}}-\frac {2}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{3} \left (2 a -2 b \right )}+\frac {1}{\left (2 a -2 b \right ) \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}-\frac {2 a -5 b}{2 \left (a -b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )}-\frac {2}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{3} \left (2 a +2 b \right )}-\frac {1}{\left (2 a +2 b \right ) \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{2}}-\frac {2 a +5 b}{2 \left (a +b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )}}{d}\) | \(291\) |
default | \(\frac {\frac {b^{2} \left (\munderset {\textit {\_R} =\RootOf \left (a \,\textit {\_Z}^{6}+3 a \,\textit {\_Z}^{4}+8 b \,\textit {\_Z}^{3}+3 a \,\textit {\_Z}^{2}+a \right )}{\sum }\frac {\left (\left (2 a^{2}+b^{2}\right ) \textit {\_R}^{4}-6 a b \,\textit {\_R}^{3}+2 \left (4 a^{2}+5 b^{2}\right ) \textit {\_R}^{2}-6 a \textit {\_R} b +2 a^{2}+b^{2}\right ) \ln \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-\textit {\_R} \right )}{\textit {\_R}^{5} a +2 \textit {\_R}^{3} a +4 \textit {\_R}^{2} b +\textit {\_R} a}\right )}{3 \left (a -b \right )^{2} \left (a +b \right )^{2}}-\frac {2}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{3} \left (2 a -2 b \right )}+\frac {1}{\left (2 a -2 b \right ) \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}-\frac {2 a -5 b}{2 \left (a -b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )}-\frac {2}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{3} \left (2 a +2 b \right )}-\frac {1}{\left (2 a +2 b \right ) \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{2}}-\frac {2 a +5 b}{2 \left (a +b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )}}{d}\) | \(291\) |
risch | \(\text {Expression too large to display}\) | \(2867\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains complex when optimal does not.
time = 11.21, size = 85064, normalized size = 77.83 \begin {gather*} \text {too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sec ^{4}{\left (c + d x \right )}}{a + b \sin ^{3}{\left (c + d x \right )}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 25.85, size = 2500, normalized size = 2.29 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________